CopatternsSplitErrorWithUnboundDBIndex.agda:20,1-11
Cannot eliminate type  A → A → A × A  with projection  fst
when checking the clause left hand side
fst test a
